Do interactive systems need specifications?
نویسنده
چکیده
The obvious advantages of prototyping and incremental development for interactive systems lead some people to believe that specifications of such systems are unnecessary or even harmful. I question whether there really is a conflict between specifications and prototypes. In fact the two schools have more in common than is usually supposed. Both specifications and prototypes can be understood as theories about the system to be developed. Both have important and complementary roles in development.
منابع مشابه
High Stakes Require More Than Just Talk: What to Do About Corruption in Health Systems; Comment on “We Need to Talk About Corruption in Health Systems”
Reluctance to talk about corruption is an important barrier to action. Yet the stakes of not addressing corruption in the health sector are higher than ever. Corruption includes wrongdoing by individuals, but it is also a problem of weak institutions captured by political interests, and underfunded, unreliable administrative systems and healthcare delivery models. We ur...
متن کاملStateful SOA-conformant Services as Building Blocks for Interactive Software Systems
Services implemented through information and communication technology need to provide value for customers, with whom they usually have non-trivial interaction. However, user interface and (Web) service specifications are often disconnected. The most widely used Web services are stateless, hence only trivial user interaction with one-step input and output can be embedded in such a service. Remem...
متن کاملCombining Interaction and Automation in Process Algebra Verification
Most existing verification tools for process algebras allow the correctness of specifications to be checked in a fully automatic fashion. These systems have the obvious advantage of being easy to use, but unfortunately they also have some drawbacks. In particular, they do not always succeed in completing the verification analysis, due to the problem of state explosion, and they do not provide a...
متن کاملAll It Takes for Corruption in Health Systems to Triumph, Is Good People Who Do Nothing; Comment on “We Need to Talk About Corruption in Health Systems”
Numerous investigations demonstrate that the problem of corruption in the health sector is enormous and has grave negative consequences for patients. Nevertheless, the problem of corruption in health systems is far from eminent in the international health policy debate. Hutchinson, Balabanova, and McKee have identifed in their Editorial five reasons why the health policy community has been relu...
متن کاملEmpirical Evaluation of Design Principles for Increasing Reviewability of Formal Requirements Specifications through Visualization
As software systems become more pervasive in the aerospace industry, new techniques need to be developed that allow engineers to accurately review and understand the complex requirements specifications of these software systems. Several visualizations that provide a different view of formal specifications are proposed based on the experience of trying to manage the complexity of the MD-i 1 flig...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997